The Afit Wide Spectrum Object Modeling Environment: an Awsome Beginning
نویسندگان
چکیده
Over the past several years, the Air Force Institute of Technology (AFIT) has been developing a formal-based software synthesis system, the AFIT Wide Spectrum Object Modeling Environment (AWSOME), along with a speci cation language AWL (AFIT Wide-spectrum Language). Several tools have been developed, including a parser for the AWL syntax, an interactive object editor, a Java code generator, and a generator for database schemas and SQL queries. This paper describes the formal object-oriented meta-model, the AWL speci cation language, and transformations from speci cation to code, along with current and future tools and applications.
منابع مشابه
Modelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملMoving Objects Tracking Using Statistical Models
Object detection plays an important role in successfulness of a wide range of applications that involve images as input data. In this paper we have presented a new approach for background modeling by nonconsecutive frames differencing. Direction and velocity of moving objects have been extracted in order to get an appropriate sequence of frames to perform frame subtraction. Stationary parts of ...
متن کاملMoving Objects Tracking Using Statistical Models
Object detection plays an important role in successfulness of a wide range of applications that involve images as input data. In this paper we have presented a new approach for background modeling by nonconsecutive frames differencing. Direction and velocity of moving objects have been extracted in order to get an appropriate sequence of frames to perform frame subtraction. Stationary parts of ...
متن کامل